From: Georges Basile Stavracas Neto Date: Wed, 25 Nov 2020 21:42:03 +0000 (-0300) Subject: iconGrid/iconGrid: Hook page-padding with CSS X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~721 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=4ad32ab66260e5a3547895a05723cf58e459d299;p=gnome-shell.git iconGrid/iconGrid: Hook page-padding with CSS Add support for setting the page padding of the icon grid through CSS. Unfortunately, each side needs to be specificied manually, since it's not a regular padding property. Part-of: --- diff --git a/js/ui/iconGrid.js b/js/ui/iconGrid.js index 409529950..51157a311 100644 --- a/js/ui/iconGrid.js +++ b/js/ui/iconGrid.js @@ -1311,6 +1311,7 @@ var IconGrid = GObject.registerClass({ columns_per_page: 6, rows_per_page: 4, page_halign: Clutter.ActorAlign.CENTER, + page_padding: new Clutter.Margin(), page_valign: Clutter.ActorAlign.CENTER, last_row_align: Clutter.ActorAlign.START, column_spacing: 0, @@ -1442,6 +1443,12 @@ var IconGrid = GObject.registerClass({ [found, value] = node.lookup_length('max-row-spacing', false); this.layout_manager.max_row_spacing = found ? value : -1; + + const padding = new Clutter.Margin(); + ['top', 'right', 'bottom', 'left'].forEach(side => { + padding[side] = node.get_length(`page-padding-${side}`); + }); + this.layout_manager.page_padding = padding; } /**